Term

Outer definition

Term

Inner definition in separate scope