; on välttämätön, mutta ei riittävä.