these known problems prevent definitive verification