Example of using general fact
cleanup