In the conditional "P →Q," "P" is a