Additional Logic ¦ Solve just in few seconds @consistent Mathematics