very early property-based tests