... methods for verifying whether or not given designs satisfy certain optimality criteria, and for comparing designs which satisfy such criteria.
... pamamaraan para sa pagpapatunay kung o hindi naibigay na disenyo ng optimality masunod ang mga tiyak na criteria, at para sa paghahambing ng disenyo na masunod ang ganoong pamantayan.