A few notations here, a few notations there