some dynamic logic stuff
typo
update pdf