Step 1: Select a standard proposition. These will be coded with a “c-” and you can find a complete list here: