The other "smoking" included in the lease or as an addendum?

[Joe Zupancic]

Just wondering what other landlords in Colorado are doing in regards to the Devil's Lettuce?  

To me,  no smoking in the lease is pretty obvious that it should cover this as well, but apparently it doesn't with a current tenant.   

Do you have it listed in the main body of the lease when discussing smoking in the unit or is it an addendum as it is a specific issue to Colorado or other states where it has been leagalized?  

What about growing it?   Do you have something in the lease stating it is forbidden on the property regardless of it being legal in this state?