Send a message to Idris properties