Tag: multiple trace hypothesis