adding the function to make a fact that is tail call optimized
adding the cxr cadr alternative