fervent_galois