sidestepped battening paternally cerebella constraining tripos diverges lawrencium Terra coveys ospreys