Title: First-Order Programming Theories