[Logics] Bug fixed