not true false not false true evenodd x 0 not evenodd x s 0 evenodd 0 s 0 false evenodd s x s 0 evenodd x 0 rand x x rand x rand s x s 1 true 0 0 0 not 1 evenodd 2 rand 1 false 0 FULL