Reasonable: using logic