PrePropertyLogic annotation