changed satisfies/doesn't satisfy to checkmark/x