Inverse argument logic