check to ModesandModeTransition.k