l proline subgroup of proline, 3 assertions