Relicensing and adding contracts to verify the options