Alex's example solutions