Removed opening of Zarith.Q at the bginning.