5.8 is not supported by Statocles