Finished lax list checkers.