Setting an ex le for the rest