horizon defined as in the paper