This is (willingly) not reflected in the poly: implementation details are just distracting from the essential