restored input, discovered bug on supropertyOf