Add propositions of other models at the end of ica and haxby.