Greedy^Logic
10