Trying capture avoiding substitution (with no luck)