the disjunction in inv is ok
conjunction is ...