Polyhedral completeness of intermediate logics: the Nerve Criterion - Sam Adam-Day; Nick Bezhanishvili; David Gabelaia; Vincenzo Marra (2021)