ยง Projections onto convex sets [TODO ]