Isa problem? (Explicit)

Problem (Explicit)