Code Editor : boolean_record.h