(/=) SyntheticClock to DisplayLogic