change lives_ok to isa_ok