pre-merge commit with start of effective reach property method