finished property testing

finally done. (i think. i hope)