Possible solucion model checking atoms