[Cadence4]