Use 'if' in connection with 'is_some' and 'the'.
Use 'if' in connection with 'is_some' and 'the'.

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle