<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">Forgive me if the following already exists in Racket, but I would appreciate if something like<div><br></div><div><font class="Apple-style-span" face="'Courier New'">(check-fact <bool-exp>)</font></div><div><br></div><div>(or check-pred, check-truth, whatever) as an alternative to</div><div><br></div><div><font class="Apple-style-span" face="'Courier New'">(check-expect <bool-exp> true)</font></div><div><br></div><div>Seems like it would be a reasonable addition.</div><div><br></div><div>Cheers - Adam</div></body></html>