$PROVE 3400