Crate known_facts 

This crate provides well-known facts.

use known_facts::*;