Reward Logic Complete