Send a message to permanent_ltl