Checker interface for Femida