Finished write-up for math on boundary.