*****************
Lower Type Bounds
*****************