Project Tag: rigorous comprehension