Title: Some representation problems in combinatory logic