Mathematical rigor

Summary