1.1. Pass and fail cheat sheet

passABpass can be executed if A and B can be executed.
passsequenceABpass can be executed if A can be executed.
passchoiceABpass can be executed if A or B can be executed.
failABfail can be executed if A or B cannot be executed.
failsequenceABfail can be executed if A cannot be executed.
failchoiceABfail can be executed if A and B cannot be executed.