Definition of
... Witnesses
Boolean indicator
Clean