substitution property view 3