Resolving Bug : create a new notation