Logic Function Header Declaration