contract emptiness view 2