Første ledd blir her null for = - / som igjen signaliserer eksistensen av en horisont.