Writer attribute proof observes and controls at the same level (the attribute class is stateful)
Writer attribute proof observes and controls at the same level (the attribute class is stateful)

Sans/output