Slide 63 of 93
Notes:
From [MGC94b] .
Problem:
ELSIF line makes in 1 appear like a clock in which both edges are used.