begin of the end

This is defined as the second boundary of the property P81

begin of the end

This is defined as the second boundary of the property P81