Fixing sheaf activation propagation (used to be
nondeterministic)
Making proper fuzzy use of sheaved tests now