Those docs tell how it works but it doesn't have examples on how to use the remainig  API or do a property test. The same with the API below, it has no examples on how it works.