November 18th, 2000, 02:40 pm - Wasted today proving in detail that priorities can beextended to comonads.