note
simpler size correctness