K-LEFT K-LEFT

[] no special info, see general notes

EXTENSIONS term ordinary constant