Implementing the property case of issue 64

This implements the property case of #64.