Added exception for computation of definitions