Archived tweet #11989 from the @leastfixedpoint Twitter Archive

@defnotbeka Quite. Holes are, I guess, necessary but not sufficient for what you want? Maybe they're not very interesting in this context after all?