Hard problems. Written down properly.