A Formal Image Limousine