Proved 4 of 9 cases for when X starts in 00