Tidied examples