(assert (((_))))