form assertions
update changelog in README