size correctness