proper(ip)