Behauptung $SOL