Rules for trace objects