Verification over explanation – summary and references