Christine A. Wallace

• End-user assertions in forms/3