Moved from https://github.com/FInAT/FInAT/issues/99
Moved from FInAT/FInAT#99