substitution membership for views