initial definitions