Write spec for Checker