2013.04.30 After Cantor's lecture