more theoretical examples