greedy reasoning for ACF