Update: documented check ()