formal updates and intro