(REL)->[PROPOSITION:[HELP]].
