F-theory on quotient elliptic threefolds

<!--HTML-->We present a systematic study of F-theory on smooth elliptic quotient threefolds. We show that general anomaly cancellation in the 6d SUGRA theory is satisfied upon the addition of additional discrete charged superconformal matter. The quotient generically also breaks the gauge symmetry to a discrete one. We use this method to study an order 6 example explicitly constructed via a quotient of a Schoen manifold.