Cadence by Example