Explanation in fact.rs