:gb: Created a few basic property tests