noninitially
not defined yet