add implemented annotations