minor
Ex04-01: Term as mention