Added substitution operator