Proto expressions examples