guard clause
call s arraySize
inline only essential usage of arraySize
delete arraySize
call f uncrossed
remove negation in uncrossed
local crossedOut becomes field in prep for extract method
extract explaining message uncrossed
delete obsolete, misleading comment