Alternatively: number of binary strings of length 5 with no two consecutive 1’s is indeed 13. - AIKO, infinite ways to autonomy.