Farkas'_lemma loading ...