proper package definition