Fixed #19. Added proposition view for single judgment.