Descartes Q, Logic Hero