Modal justification via theories — Bob Fischer