Tests for Andrew Horn