Traditional Logic I, Key