“Good theory indicates how to carve a system at the joints.”