Church militant and church triumphant