proper main