cool_fermat