Mathematical Reports, 67-4, 2015