Everything is satisfied