Modus ponens

Select Connection: INPUT[inlineListSuggester(optionQuery(#permanent_note), optionQuery(#literature_note), optionQuery(#fleeting_note)):connections]

Simple rule of inference that states:

Important

$P$ implies $Q$. $P$ is true, therefore $Q$ must also be true

in symbolic statement:

$$P\to Q,P⊢Q$$