contract emptiness view 1