simplechoice_stubborn.ltl 1.25 KB