Ordered Cones and Approximation | EKB DL