An Introduction to Extitutional Theory