alias( "$(P):initial_r", "$(DET):initial_r" )
alias( "$(P):initial_w", "$(DET):initial_w" )