Notations I
Notations II
somewhere I