Send a message to idris