logicdoesnotexist