forgot to add g.thy