I don't know any comp sci theory.