docs on Theories view and cancelling execution