(if True then [ True ] else [ False ]) # (if True then [ True ] else [ False ])