Atomic polymorphism and the existence property - Ferreira, Gilda (2018)