Logic and Riesen