Alternatively, what if we consider a simpler solution where there are no concurrent/nested actions because actions resolve instantly, and "if you ... you can" is a form of conditional or if-then statement that uses the standard rules of mathematical logic. Simply put, "if you X, you can Y"...