todos spec