Edit: boolean_record.h