Might want to consider removing the `prop_` prefix.  In all the Riak code I've seen we use `prop_` to indicate an EQC test.