default example and the beginning of the guard example