FWIW, this formatting looks odd to me... shouldn't lists:all be aligned with Constraints?