The demonstration works.