Add the missing assumption - Logic | Zoonk