Mathematics made meaningful