(/=) More left factoring, doc, reordering