a = 0 <= x < top < y <= 0