The consistency strength of long projective determinacy - Juan P. Aguilera; Sandra Müller (2019)