proper horizon