A question about one of the assertions in thi

assertions, greens