9 [4] is not theoretical min LexC but it may as well be practical min due to the ridiculous geometric requirements of 9 [3 5].