. . "FLOXAL"@cs . .