Placeholder for Abstraction documentation.