simplification for ALT case