On Behavioral programs