x = readFromStdin

y = readFromStdin

if(x < y) {

// in this scope, you have proven x < y

} else {

// in this scope, you have proven x >= y

}