જેમ જાવા પ્રોગ્રામ તર્કમાં કામ કરે છે ત્યાં એક શરત સાચી છે અને તે ખોટી છે તે નક્કી કરવા માટે એક માર્ગ હોવો જરૂરી છે.