were assumptions and constraints first documented