Examines the visible vs. invisible (mystical) Church, defining the Holy Catholic Church as the assembly of true believers and distinguishing corrupt, false, and reformable churches.