A question about one of the assertions in thi
assertions
,
greens