Point detail
TR
max
≥
TR
pr
(i.e. line (1) shall not be below line (2)), and
a0c0