two forms le of specification