lessig-fidelity-constraint