Title: Building up mathematics