Title: Procedures and metaphysics