changed basics example to use fact