some edits , mostly to justification of JM equality