Loading terms and rules...