Send a message to Theorem Method with Cheryl