New: pragmafoundation