The Brown-4 Indicational Calculus