Nardulus,
logic is abstract- look up the definition of abstract.