why? before & after are logically equivalent.