Added an invariant based example. Added toString to the conditions