check! reimplementation finalized
check! specs extended even more