got definitions of witness expressions to work