Hallin lågo , samt för den senare omtalat sinförmodan