Search: Hard ansl tight