lifted logic #747203