Technical details of judgements and logic added - ongoing prose.