Sure

["Towards a Broader Basis for Logic Programming", Bharat Jayaraman, TR CS Dept, SUNY Buffalo, 1990].

Nearby terms:
Supplementary Ideographic Plane « support « supremum « Sure » surfing » SURGE » surjection