contract emptiness view 3