Eternity Async Tutoring

or(or(x,y),or(y,z)) = or(or(x,y), z)


Simpler than that?