antiexpansion
not defined yet