passed all properties litmus tests