Tag: free variable formal logic