trace and complementation