Trace: syntax

y