Axiomet är emellertid längtifcän