Final version with examples