CFL-package	CFL-package
CFL	CFL-package
ldc.conj	ldc.conj
ldc.disj	ldc.disj
ldc.exist	ldc.exist
ldc.forall	ldc.forall
sigmoidal	sigmoidal
