If 'might p' expresses a proposition about what is compatible with a contextually-fixed body of know...