Arguments made on the basis of ideals and instantiations (forms) sound awfully Aristotelean. I wonder if you (Butterfield) consider yourself a member of that school of thought.