Emphasised that transport is a simplified elimination rule.