Fix proof