$+case_sensitive = False;
if $name1 gt $name2 { ...