added in a couple of missing negative assertions, added list of all assertions