con derive