Some hidden statements removed