verification checker interface
something something impl