Z3 plus(0)