citp spoiler

:spoiler { on | off}

If the spoiler flag is on, after a strategy other than RD and SI has been applied, the generated sub-goals are automatically checked for provability using the RD strategy. Defaults to off.

Related: citp