Finite F-inveres covers do exist
We show that every finite inverse monoid has an idempotent-separating cover by a finite F-inverse monoid. This provides a positive answer to a conjecture of Henckell and Rhodes.