Implemented `where this in ?.prop`