Namely, Painless: A unifying approach to safe programming with first-order syntax with | DealShopping Deutschland