import transcript10a  -- toy programming language
import transcript10b  -- Peano arithmetic
import transcript10c  -- forcing