Soft assertiom