Building logics