I think there are precondition here : p should be in the current domain ? Can you please chck all concept methods to check preconditions ?