Towards logical framework for sequential design