Updated proposal's syntax