C1: Agreement between 3F and ATL