Logical Marian Assumption view 1