d:o ; d:o J .Ladyman