Hark! The diagonal semantics returns!