Title: Behavioral Obj. Lang. for Thinking