Solution to B_Heif