It is always good to double check if and where your properties are actually being used in a proof.)
Ik ben heel benieuwd naar jouw mening, laat het me weten in de comments! •••••••••••••••••••••••••••••••••••••••••••••