Category:Uniquely Complemented Lattices