Changed the name to finally-always-guaranteed