← Acrow Prop Specifications