Removed logical constr. whatsoever.