[Logic] Factories added