added property testing