fixed variable substitution over membership