Lol these notations are weird