asserts for horspool