Compound condition is evaluated from “left to right “and in case of “AND” stops when the last codition evaluates to false. No need to further evaluate the rest. You need to verify that before occusing the machine, it only does what is instructed to do.