Before revision: If the input were to change to then a race will occur between turning off and turning on.
After revision: from this is usual short notation for , , , andIf the input were to change to then a race will occur between turning off and turning on.