PREP(canRefuelUAV); PREP(refuelUAV);