A line the same color as its type indicates that type is strong against the connecting type