A non-trivial σ-effectus with normalization has as scalars either {0,1} or [0,1]. When states and predicates are separating, then it must embed into the category Boolean algebras (in the first case) and into the category of Banach order-unit spaces in the second case.