Ex Falso Quodlibet

\begin{align*} \forall_x (\bottom \rightarrow Rx) \end{align*}