The nature of proper functions in the products of synthetic biology