https://1library.org/document/zlggkj6y-expressiveness-and-completeness-in-abstraction.html