Justified passive obs, brought in Keel refs. Closed #135