Change notation and add relation: inspect