Rea.plus'of
zero and alt capability projection.
zero
alt
method zero' : ('R, 'e, 'a, 'D) zero'm
method alt' : ('R, 'e, 'a, 'D) alt'm