theory def, cleanup.