Added proposition