» S ?= K3