20040814 bangalore: Papers that define property