Copyright (C) 2015 Aaron Teplitsky.