What is the formal relationship between being, knowing, and choosing?