Title: Notes on x-efficiency and technical progress