GirardsParadox.v
