Implementation for 1-CFA