https://examples.javacodegeeks.com/java-jqwik-property-based-testing/