Z3 uphill intervals