Exercise in logical analysis