Church principles and church comprehensiveness. Being two papers: one read at