compiler/io.github.aplcornell.viaduct.security/SecurityLattice/and

and

open infix override fun and(that: SecurityLattice<T>): SecurityLattice<T>

The least powerful principal that can act for both this and that. This denotes a conjunction of authority.