Logically-abstract