Warning: The approach taken will be formal