[Serusers] Simple question about notation