simplechoice_stubborn.owlltl 723 Bytes