Outline through Ackerman and Balkin