Discounting in Strategy Logic

Re-assign community