Single Source Logics