BHK_interpretation