Examples in Felix