finished pure functional state examples