Tag calculus 1 spectrum