2.9 Trace properties