fixed broken proof