debugging the definitions