Make evidence witness explicit.
Implement basic010.