higher bound in height
line a ___