Various procedure and theory added