CNF

@Hoss93 
why deep copy the old And is thrown away anyways