Lower Type BoundsΒΆ