appendix for long version