Copyleft? means they sell it, but can't make it closed source, right?