Comment out ad-hoc prop test