Fix these bounds.
5.3c
5.3d
Inchoate 5.3d
5.3e
5.3f
5.3