1 [see also: model, scheme] Other types fit into this pattern as well.
The proof that a<b follows the standard pattern.
2 [see also: model] The proof is patterned upon <after> Section 2 of [6].