Alternatively: number of binary strings of length 5 with no two consecutive 1’s is indeed 13.