Identifying logical necessity