2.88 with sub-terms
2.90 with sub-terms (coercion-absent)
2.91