Assertion and finiteness