Check definitions