Implemented generator and checker