I guess Prof felt like using shorthand today...