test si and s with procedure => pass