Can’t allow preconditions: Cong