sekundant i den bekante logikernprof.