Estou otimista em relação a $MAGMA e $KGEN , mas $PRL está perdendo para os ursos.