premise: BlackBerry DTEK60 is an Android smartphone co - distributed by BlackBerry Limited, and manufactured by TCL.
hypothesis: BlackBerry DTEK60 is an Android smartphone co-developed and distributed by BlackBerry Limited, and manufactured by TCL.