Law of Assumption Basics