Stack example switched to Natural Assertions.