Fix formatting

Examples were contrafactual and self-contradictory