hmm, we should probably refer to another book here, i.e. the one by Hager & co (add a FIXME)