Fundamental existence theorems | lit.salon