Congratulations to Ethan Brauer for the successful defense of his PhD dissertation titled 'The Modal Logic of Potential Infinity, with an Application to Free Choice Sequences'.