simplified.rs is almost here!