Whoops, forgot to include Ind.thy