Checks whether the arguments match their definitions.