Unpsudocoded greater than operator