example of two forms of le of specification