Interpreti: The Theory Is Sound Project