Greedy^Logic
9