mnli premise: These techniques require considerable information about the system being developed and can only be used after system design. hypothesis: It's very difficult to count the number of techniques. 