more specs and demos and implmt of Behavior#| and Behavior#*