Title: Generalized logic