Removing verified TODO