Checkable procedures in tension with richer intent¶ This page has moved to Checkable procedures in tension with richer intent.