Text this: First-order modular logic programs and their conservative extensions.