Dylika axiomer till trots finnasdock