proper defines