implemented verifyMIC -- see #5