Implement formal functions and procedures