main: further simplification