logics stubs