The straight answer is its OK to use pencil .Rumors of its ability to fade are greatly overstated. Many people like to use pencil as they "tidy as they go" just make sure that the pencil is not too feint. Much easier to a rub out a wrong figure written in pencil than to use tip-ex for a mistake written using a biro. End of the day it's what you think is the best.