Fixed (??) theory version dependcy