Got it! Any band with Robert Fripp in it may properly be called King Crimson, no matter who the others might be.