mathematical reasoning with theological interpretation