Logical trace