separate FOL-related functionality from core arithmetic modules