Proactive 'If-Then' Safety Cases — LessWrong