inverse and negative proposition