no

fun no(query: <ERROR CLASS>): Solution.No
fun no(signature: Signature, arguments: List<<ERROR CLASS>>): Solution.No